The impact of a nap opportunity during the night shift on the performance and alertness of 12-h shift workers